1. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Coding theory.,Computer science.,Data encryption (Computer science)

2. Automated deduction in equational logic and cubic curves

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Automatic theorem proving,، Curves, Algebraic

رده :
QA
76
.
L28
Vol
.
1095

3. Automated deduction in equational logic and cubic curves

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Automatic theorem proving ; Curves, Algebraic ;